passive synthesis